min

The minimum value of a StrictlyPositiveInt.